Modules§

  • Errors which may be raised when verifying a LightBlock
  • Crypto function traits allowing mocking out during testing
  • Light client implementation as per the Core Verification specification.
  • Predicates for light block validation and verification.
  • Defines or just re-exports the main datatypes used by the light client.

Structs§

  • Predicate verifier encapsulating components necessary to facilitate verification.

Enums§

  • Represents the result of the verification performed by the verifier component.

Traits§

Type Aliases§